TESTS_ENVIRONMENT='$(SHELL)'
TESTS = example_tests.sh
EXTRA_DIST=markbdd.ite add_state.ite flowers.cnf flowers.ite \
           minmax.cnf minmax.ite small.cnf xortest.ite xortest.xor \
           bmc_example.ite interconnect_example.ite
